Real-time verification of wireless home networks using bigraphs with sharing
نویسندگان
چکیده
منابع مشابه
Real-time verification of wireless home networks using bigraphs with sharing
Home wireless networks are difficult to manage and comprehend because of evolving locality, co-locality, connectivity and interaction. We define formal models of home wireless network infrastructure and policies and investigate how they can be used in a network management system designed to provide user-oriented support. We model spatial and temporal behaviour of network interactions and user-i...
متن کاملBigraphs with sharing and applications in wireless networks
Bigraphs are a fully graphical process algebraic formalism, capable of representing both the position in space of agents and their inter-connections. However, they assume a topology based on sets of trees and thus cannot represent spatial locations that are shared among several entities in a simple or intuitive way. This is a problem, because shared locations are often a requirement, for exampl...
متن کاملReal-Time Communication in Wireless Home Networks
This paper describes a medium access protocol for real-time communication in wireless networks. Medium access is controlled by a scheduler, which utilizes a pre-emptive earliest deadline first (PEDF) scheduling algorithm. The scheduler prevents collisions in the network, where normally only collisions are avoided. PEDF is the scheduler of choice, because it has excellent properties with respect...
متن کاملBigraphs with sharing
Bigraphical reactive systems (BRSs) [1] are a fully graphical model for mobile computation in which both time and space are prominent. But the locality is a tree structure, space can not be shared. We extend the formalism to BRS with sharing, which models the system topology by a directed graph structure. We present a categorical characterisation of bigraphs with sharing and a complete axiomati...
متن کاملApplications of bigraphs with sharing
Bigraphs are a mathematical model for systems of interacting agents (real or virtual) introduced by Milner [7]. A bigraph consists of two independent structures: a set of nodes that can be nested one inside another, and a set of hyper-edges linking the nodes. The intended interpretation is that nodes represent locality, i.e. the spatial placement of agents, while links encode connectivity, i.e....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.08.004